high-order logic

Переводы
логика высшего порядка
High-order logic allows for more expressive statements than first-order logic.
Логика высшего порядка позволяет делать более выразительные утверждения, чем логика первого порядка.
Слова
logic

существительное
логика
high-order

прилагательное
высокопорядковый